201. Foundations of Logic and Mathematics
Author: by Yves Nievergelt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.
202. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb
203. Fully homomorphic encryption in real world applications /
Author: Ayantika Chatterjee, Khin Mi Mi Aung.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cryptography-- Mathematics.,Data encryption (Computer science)-- Mathematics.,Homomorphisms (Mathematics),Cryptography-- Mathematics.,Homomorphisms (Mathematics),SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.
Classification :
QA268
204. Fundamentals and Standards in Hardware Description Languages
Author: edited by Jean P. Mermet.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer-aided design.,Engineering.
205. Funology 2 :
Author: Mark Blythe, Andrew Monk, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Human-computer interaction.,Interaction homme-machine (Informatique),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Educational psychology.,Human-computer interaction.,Human-computer interaction.,Informatique.,Mathematics & science.,User interface design & usability.
Classification :
QA76
.
9
.
H85
F88
2018eb
207. Hadamard transforms
Author: Sos Agaian ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Hadamard matrices.
208. Handbook of Combinatorial Optimization
Author: edited by Panos M. Pardalos, Ding-Zhu Du, Ronald L. Graham.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorics.,Mathematical optimization.,Mathematics.
209. High Performance Computing in Science and Engineering '99
Author: edited by Egon Krause, Willi Jäger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemistry.,Computer science-- Mathematics.,Computer simulation.,Engineering.,Mathematical physics.,Mathematics.,Physics.
210. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
Author: Louise Gerdes, book editor.
Library: Library of Islamic Parliament (Tehran)
Subject:
211. 20090601 ,Includes bibliographical references and index. 0
Author: 20090602 ,20090602 0
Library: Library of Islamic Parliament (Tehran)
Subject:
212. Includes bibliographical references and indexes. 0
Author: edited by Marilyn Cochran-Smith, Kenneth M. Zeichner.
Library: Library of Islamic Parliament (Tehran)
Subject:
213. Includes bibliographical references (p. 28
Author: M. Hakan Yavuz.
Library: Library of Islamic Parliament (Tehran)
Subject:
214. Includes bibliographical references (p. 49-51). 0,B
Author: Zeren Tanındı. ,/ Katie Normington.
Library: Library of Islamic Parliament (Tehran)
Subject:
215. Includes bibliographical references (p. 375) and index. 0
Author: Brian M. Fagan.
Library: Library of Islamic Parliament (Tehran)
Subject:
216. Includes bibliographical references (p. 225-231) and index. 0
Author: Andrew Green.
Library: Library of Islamic Parliament (Tehran)
Subject:
217. Information and Collaboration Models of Integration
Author: edited by Shimon Y. Nof.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Mathematics.
218. Innovative approaches in agent-based modelling and business intelligence /
Author: Setsuya Kurahashi, Hiroshi Takahashi, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business intelligence.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Business intelligence.
Classification :
HD38
.
7
219. Intelligent CAD Systems III :
Author: edited by Paul J.W. Hagen, Paul J. Veerkamp.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer-aided design.
Classification :
TA174
.
E358
1991
220. Intelligent Learning Environments:
Author: edited by Jean-Marie Laborde.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Artificial intelligence.,Computer science.
Classification :
QA462
.
E358
1996
